Fault Origin
نویسندگان
چکیده
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speciication S that was used to implement P, there is a question about whether the problem arises in S or in P. We call this determination fault origin adjudication and illustrate its signiicance in various software engineering contexts. The primary contribution of this paper is a framework for formal fault origin adjudication for network protocols using the NS/2 simulator and the SPIN model checker. We describe our architecture and illustrate its use in a case study involving a standard speciication for packet radio routing.
منابع مشابه
Possible Basement Transverse Faults in the Western Alborz, Northern Iran
Transverse basement (TB) faults are important structures in the mountain belts or sedimentary basins influencing various aspects of them. The origin of these faults is diverse, but their effect on the shape and configuration of continental margins is characteristics. The Western Alborz range that borders the South Caspian basin to southwest is a complex range with principal faults and known ear...
متن کامل402e Nonlinear Diagonal Unknown Input Observers for Fault Diagnosis
Pramod Vachhani, Sridharakumar Narasimhan, and Raghunathan Rengaswamy Process fault diagnosis is the problem of identifying the causal origins of faults in a process, given current sensor data and a priori knowledge about the process behaviour under normal and abnormal conditions. Fault diagnosis is increasingly becoming important for process safety, improved product quality and process economi...
متن کاملبررسی کانیشناسی، ژئوشیمی و ایزوتوپهای گوگرد در کانسار گلالی،غرب ایران
Galali orebody is located in Sanandaj-Sirjan zone in west of Iran in the Karamkhani slops in Almogholagh mountains. The main ore is magnetite association with hematite, goethite, secondary limonite, malachite and pyrite. This orebody is located on north Galali fault; mineralization is made by fault movements in this orebody. Three types of ores have been seen in the Galali orebody as below: Typ...
متن کاملQuaternary volcanism in Tabas and the role of the Nayband great fault
Introduction: Quaternary basalts are one of the last signs of magmatism in Iran, some of which are related to deep fractures and active faults in the Quaternary. Quaternary basalts of Tabas are very important due to their high expansion and location in eastern Iran, and are located 140 km south east of Tabas city and according to the proposed divisions are part of the Lut zone. The aim of this...
متن کاملCollapse structures in Dowgonbadan region, Zagros fold- thrust belt
Allochthonous masses are common structures in Zagros fold-thrust belt. They are generally considered as collapse structures formed by the influence of gravity and in rock units with competency contrast. However, large allochthonous masses mapped in Dowgonbadan area in Dezful Embayment near the Mountain Front Fault (MFF) of Zagros show characteristics different from the belt common collapse stru...
متن کامل